Nuprl Definition : da-outlinks
0,22
postcript
pdf
da-outlinks(
da
;
i
) == mapfilter(
k
.da-outlink-f(
da
;
k
);
k
.has-src(
i
;
k
);fpf-dom-list(
da
))
latex
Definitions
fpf-dom-list(
f
)
,
has-src(
i
;
k
)
,
da-outlink-f(
da
;
k
)
,
mapfilter(
f
;
P
;
L
)
,
da-outlinks(
da
;
i
)
FDL editor aliases
da-outlinks
origin
k.da-outlink-f(da;k);k.has-src(i;k);fpf-dom-list(da)) k.da-outlink-f(da;k);k.has-src(i;k);fpf-dom-list(da))